1

Program derivation by fixed point computation

Year:
1989
Language:
english
File:
PDF, 4.00 MB
english, 1989
2

Geometric constraint solver

Year:
1995
Language:
english
File:
PDF, 1.87 MB
english, 1995
3

Using multiset discrimination to solve language processing problems without hashing

Year:
1995
Language:
english
File:
PDF, 3.01 MB
english, 1995
4

An $O(m\log n)$-Time Algorithm for the Maximal Planar Subgraph Problem

Year:
1993
Language:
english
File:
PDF, 2.34 MB
english, 1993
9

Screening defective lithium ion batteries of 0

Year:
2012
Language:
english
File:
PDF, 327 KB
english, 2012
20

Towards increased productivity of algorithm implementation

Year:
1993
Language:
english
File:
PDF, 930 KB
english, 1993
24

Counting Embeddings of Planar Graphs Using DFS Trees

Year:
1993
Language:
english
File:
PDF, 2.19 MB
english, 1993